Koha online

1.
Formal semantics of programming languages

by Winskel, Glynn.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: MIT Press, 1993Availability: Items available for loan: [Call number: 005.131 WIN] (1).
Place hold
2.
Understanding Z : a specification language and its formal semantics

by Spivey, J. M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Cambridge University Press, 1988Availability: Items available for loan: [Call number: 005.133 SPI] (1).
Place hold
3.
Journal on data semantic II

by Bertino, Elisa | Jajodia, Sushil | King, Roger | Spaccapietra, Stefano.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 SPA] (1).
Place hold
4.
Operational Semantics for Timed Systems : a Non-standard Approach to Uniform Modeling of Timed and hybrid systems

by Rust, Heinrich.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 RUS] (1).
Place hold
5.
Concepts of programming languages

by Sebesta, Robert W.

Edition: 7th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Pearson Education, 2007Availability: Items available for loan: [Call number: 005.13 SEB] (1).
Place hold
6.
Natural language understanding

by Allen, James.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Delhi: Pearson Education Asia, 2003Availability: Items available for loan: [Call number: 006.35 ALL] (1).
Place hold
7.
Concepts of Programming Languages

by Sebesta, Robert W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Delhi: Addison-Wesley, 1999Availability: Items available for loan: [Call number: 005.13 SEB] (4).
Place hold
8.
Programming languages : principles and practice

by Louden, Kenneth C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: India: Thomson Learning, 2003Availability: Items available for loan: [Call number: 005.13 LOU] (1).
Place hold
9.
Semantics engineering with PLT Redex

by Felleisen, Matthias | Findler, Robert Bruce | Flatt, Matthew.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 2009Availability: Items available for loan: [Call number: 005.11 FEL] (1).
Place hold
10.
Programming languages : an active learning approach.

by Lee, Kent D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York Springer 2008Availability: Items available for loan: [Call number: 005.13 LEE] (2).
Place hold
11.
Domains and lambda-calculi

by Amadio, Roberto M | Curien, Pierre-Louis.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 511.3 AMA] (1).
Place hold
12.
Semantics with applications : an appetizer

by Nielson, Flemming | Nielson, Hanne Riis.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2007Availability: Items available for loan: [Call number: 005.131 NIE] (1).
Place hold
13.
No cover image available
Logic programming : operational semantics and proof theory

by Andrews, James H.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 1992Availability: Items available for loan: [Call number: 005.131 AND] (1).
Place hold
14.
Language and the rise of the algorithm

by Binder, Jeffrey M.

Publisher: Chicago : University of Chicago Press, 2022Availability: Items available for loan: [Call number: 006.35 BIN] (1).
Place hold

Powered by Koha